$\forall$$A$, $B$:Type. ($A$ $\subseteq$r $B$) $\Rightarrow$ (MaInterface($A$) $\subseteq$r MaInterface($B$))